intro to proofs